Offers an extensible compound document architecture which can create and combine from text to pictures to graphs to spreadsheets to figures, into a single document. [OpenSource]

Provides an extensible, abstract world in which a planner controls a mobile robot. Nisp source code utilizing a CLX GUI. Free Software under a BSD-style license.

Unix soccer-like testbed. Source code (C++ with curses and termcap), executable, and screenshots.

450 references related to logical frameworks, which are formal meta-languages for deductive systems.

Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.

Carnegie Mellon University. Interests include machine learning, approximation algorithms, on-line algorithms and planning systems. Online publications and talks.

A library of C code useful for writing statistical text analysis, language modeling, and information retrieval programs. The current distribution includes the library, as well as front-ends for document classification (rainbow), document retrieval (ar...

"System that aids conceptual design of electro-mechanical devices and is based on the paradigm of Case-based Reasoning." Project information, members, publications.

Information on research, projects, and publications related to Machine Learning.

Projects address the infrastructure issues of multi-agent systems, including agent communication, interoperability, and security.